Program logic - PDFSEARCH.IO - Document Search Engine

Program logic
Results: 2056

#	Item
111	FontCreator 5.5 • High-Logic Download Page Though this version was only a minor version number upgrade, it added several substantive enhancements to a program that was already very powerful and easy to use. If you need Add to Reading List Source URL: www.softerviews.org Language: English - Date: 2016-01-29 14:06:00
112	ISMVL 2013 rd IEEE 43 International Symposium on Multiple‐Valued Logic Final Program Toyama International Conference Center, Toyama, Japan, May 21‐24 Add to Reading List Source URL: mvl.jpn.org Language: English - Date: 2013-04-01 03:33:55
113	The importance of computing intermodal roundtrips in multimodal guidance systems Daniel Baumann, EPFL - LAVOC Alexandre Torday, EPFL - LAVOC Prof. André-Gilles Dumont, EPFL - LAVOC Add to Reading List Source URL: www.strc.ch Language: English - Date: 2009-01-15 15:15:41 Edsger W. Dijkstra Logistics Algorithm Mathematical logic Theoretical computer science Shortest path problem Intermodal freight transport Transport Multimodal transport Program optimization Intermodal journey planner Journey planner
114	VisualizeSLE: A Visual Editor for Separation Logic Entailments Aquinas Hobor, Soe Lin Myat, and Bimlesh Wadhwa National University of Singapore Proposal. Separation logic has seen widespread use in program verification, Add to Reading List Source URL: www.comp.nus.edu.sg Language: English - Date: 2012-10-05 06:23:45
115	ISMVL-2012 IEEE 42nd International Symposium on Multiple-Valued Logic FINAL PROGRAM All events are at the Harbour Towers Hotel & Suites, 345 Quebec Street, Victoria BC, Canada Sunday, May 13, 2012 9:00am Add to Reading List Source URL: www.lsi-cad.com Language: English - Date: 2012-06-11 09:41:05
116	Verification of a Cryptographic Primitive: SHA-256 ANDREW W. APPEL, Princeton University A full formal machine-checked verification of a C program: the OpenSSL implementation of SHA-256. This is an interactive proof of f Add to Reading List Source URL: www.cs.princeton.edu Language: English - Date: 2014-12-23 10:16:22 Software engineering Programming language theory Theoretical computer science C++ Logic in computer science Proof assistants Data types SHA-2 Formal verification Separation logic Coq Functional programming
117	Call for papers 22nd International Symposium on Logic-Based Program Synthesis and Transformation http://costa.ls.fi.upm.es/lopstr12/ 18–20 September, 2012, Leuven, Belgium (co-located with PPDP 2012) Add to Reading List Source URL: costa.ls.fi.upm.es Language: English - Date: 2011-12-14 00:30:08
118	The Bedrock Structured Programming System Combining Generative Metaprogramming and Hoare Logic in an Extensible Program Verifier Adam Chlipala MIT CSAIL Add to Reading List Source URL: adam.chlipala.net Language: English - Date: 2016-01-02 15:47:17 Software engineering Theoretical computer science Computer programming Formal methods Logic in computer science Macro Hoare logic Assertion Separation logic C preprocessor Postcondition Assembly language
119	Program Logics for Certified Compilers Add to Reading List Source URL: vst.cs.princeton.edu Language: English - Date: 2013-05-31 14:00:42 Theoretical computer science Logic in computer science Formal methods Mathematical logic Automated theorem proving Substructural logic Formal verification Compiler correctness Separation logic Correctness Semantics Hoare logic
120	Pre-Proceedings of LOPSTR 2008 The 18th International Symposium on Logic-Based Program Synthesis and Transformation Michael Hanus (Ed.) Technical University of Valencia (Spain). July 2008 Add to Reading List Source URL: www.informatik.uni-kiel.de Language: English - Date: 2008-07-21 11:38:27 Route of the Borgias Valencia Geography of Spain

UPDATE